Utilisateur:Nucleos/Bac à sables

Une page de Wikipédia, l'encyclopédie libre.

Modifier les préférences cachées[modifier | modifier le code]

En plus des options de configuration disponibles via le menu Outils -> Options (Edition -> Préférences sous Linux), il existe d'autres options cachées aussi bien sous Firefox et Thunderbird que sous la suite Mozilla. Cet article va vous permettre de comprendre où sont stockées ces options cachées et comment les modifier.

Une préférence est une valeur ou un comportement du programme qui peut être modifié. Les préférences modifiées via l'interface utilisateur (via le panneau d'Options) prennent généralement effet immédiatement et sont sauvegardées dans le fichier prefs.js contenu dans votre profil. Cependant il est fortement déconseillé d'éditer ce fichier, préférez utiliser le fichier user.js.

Le fichier user.js se trouve dans votre dossier de profil, tout comme prefs.js, mais il n'est pas créé par défaut. S'il n'existe pas encore, créez simplement un fichier texte avec un éditeur de texte comme le Bloc-Notes, emacs ou vi, et sauvegardez-le sous le nom user.js. Vérifiez bien qu'il se trouve dans le même dossier que le fichier prefs.js.

Que ce soit Firefox, Thunderbird, la suite Mozilla ou Nvu, les logiciels Gecko ne modifient jamais le contenu du fichier user.js. À l'inverse, le contenu du fichier prefs.js est fréquemment mis à jour. Si vous modifiez directement le fichier prefs.js, il est possible qu'au prochain lancement de l'application, vos modifications disparaissent.

Modèle:Note : vous pouvez aussi changer vos préférences via le panneau about:config ; dans ce cas, vos modifications seront directement enregistrées dans le fichiers prefs.js mais nous y reviendrons plus tard.

Pou annuler des modifications faites par le fichier user.js vous ne pouvez pas simplement supprimer les préférences insérées dans ce fichier car elles restent sauvegardées dans le fichier prefs.js. Il vous faudra donc aussi supprimer l'entrée dans le fichier prefs.js via un éditeur de texte ou utiliser <html>about:config<html>.

Vos préférences doivent utiliser la commande user_pref comme écrit ci-dessous.

{//} indique un commentaire. Tout ce qui suit ces deux caractères est ignoré par votre logiciel, vous pouvez donc y écrire ce que vous voulez.

Voici quelques exemples de préférences ainsi que leur fonction. Ils peuvent être copiés tels quels dans votre fichier user.js.

// Autorise les images trop grandes à se rétrécir. (seulement pour Firefox et la suite Mozilla). // Le redimensionnement d'image est utilisé si l'image affichée est plus large que la fenêtre du navigateur. // Valeur par défaut : false user_pref("browser.enable_automatic_image_resizing", true);

// Complète automatiquement le texte tapé dans la barre d'adresse. // Valeur par défaut : true (Le navigateur essaye automatiquement de compléter ce que vous tapez dans la barre d'adresse) user_pref("browser.urlbar.autocomplete.enabled", true);

Comme vous le voyez, les lignes permettant de modifier une préférence sont de cette forme : <html>user_pref("browser.urlbar.autocomplete.enabled", true);<html>

La commande {user_pref()} - ici en bleu - accepte deux arguments séparés par une virgule. Le premier argument - en rouge - est le nom de la préférence, qui doit être mis entre guillemets. Ensuite, le deuxième argument - en vert - peut être de trois forme : - Un boléen : on peut mettre soit Modèle:True soit Modèle:False (c'est-à-dire soit vrai soit faux) ; - Un entier : on peut mettre que des chiffres entiers, généralement positifs ou nul mais pas forcément. Exemple : -1, 0, 1, 2, etc. ; - Une chaîne : on peut mettre n'importe quel caractère, souvent il faut que ce soit une URL. Exemple : http://www.geckozone.org ;

Maintenant que vous connaissez la syntaxe des préférences, passons à l'autre méthode où on doit utiliser about:config. C'est une adresse spéciale, que vous devez taper dans la barre d'adresse au lieu de celle d'un site web. Faites-le et la liste des préférences cachées apparaît. <img367|center> En gras, se sont les préférences dont les valeurs ne sont pas celles par défaut. Il est possible qu'elles aient été modifiées par des changements dans le panneau d'Options ou par des extensions.

Pour modifier une préférence, il vous suffit de faire un clic-droit, de cliquer sur « Modifier » dans le menu qui apparaît... <img370|center> ... puis de changer la valeur et d'appuyer sur « Ok ». <img371|center> Certaines préférences nécessitent de relancer le logiciel pour prendre effet.

Thunderbird 1.0.x ne permet pas de voir cette liste de préférences, bien qu'elle existe. Pour la faire apparaître il vous faudra installer une extension : [About:config->http://aboutconfig.mozdev.org/installation.html]. Une extension pour Nvu serait aussi disponible sur [le site son auteur->http://glazman.org/nvu/releases/extensions/]. Thunderbird 1.5 permettra de l'afficher sans avoir à installer une extension.

{{{Le mot de la fin}}} Ne modifiez pas au hasard les préférences. Une mauvaise manipulation peut rendre instable votre application voire la rendre inutilisable. De nombreuses listes de ces préférences sont disponibles en anglais sur le net : - [About:config entries->http://kb.mozillazine.org/About:config_entries] (le plus complet) - [A brief guide to Mozilla preferences->http://www.mozilla.org/catalog/end-user/customizing/briefprefs.html] - [List of preferences and what they do->http://preferential.mozdev.org/preferences.html] - [Networking Preferences->http://www.mozilla.org/quality/networking/docs/netprefs.html]